R. French, L. Humberstone; "Partial confirmation of a conjecture on the boxdot translation in modal logic"